اثبات جدیدی از قضیه مورلی
author
Abstract:
قضیه مورلی حاکی است که نقاط برخورد خطوط مجاور اضلاع تثلیث کننده سه زاویه داخلی هر مثلث تشکیل یک مثلث متساوی الاضلاع می دهند. این مساله ابتدا در سال 1899 توسط فرانک مورلی مطرح گردید و تاکنون اثباتهای متعددی برای آن ارائه شده است. در این مقاله راه حل زیبایی که توسط آلن کن برنده مدال فیلدز در سال1998 ارائه شده است، تشریح می گردد.
similar resources
درباره اثبات وایلز از قضیه آخر فرما
قضیه ی آخر فرما بیان می دارد که معادله ی x?+y?=z?, برای 3?n دارای جواب صحیح (xyz?0) نمی باشد. فرما (pierre de fermat) در حوالی سال 1637ادعا کرد که اثباتی جالب برای این قضیه ارائه کرده است که در حاشیه ی کتاب نمی گنجد. البته تنها اثبات کامل ریاضی که از او در دسترس است حل این معادله برای حالت 4=n می باشد که وی در آن از ایده ی نزول نامتناهی (infinite descent ) که هم اکنون نیز یکی از ابزارهای قوی ...
15 صفحه اولاثبات جدیدی از اتحاد دی بروئین در کانال‌های نوفه تجمعی نرمال با مؤلفه‌های مستقل
کانال‌های نوفه تجمعی از جمله مهمترین کانال‌های مخابراتی هستند که در مسائل پردازش سیگنال‌ها بسیار بدان‌ها توجه شده است. سیگنال دریافتی (متغیر تصادفی 15Y"> ) در این کانال‌ها به صورت مجموع یک سیگنال ارسال شده از مبدأ (متغیر تصادفی 15X"> ) و نوفه تحمیل شده بر آن (متغیر تصادفی 15Z"> ) است. یکی از مسائلی که دربارۀ سیگنال دریافتی مطرح است، آنتروپی متغیر تصادفی 15 Y"> است. در صورتی که متغیر تصادفی 15...
full textاثبات قضیه بازتابی بروون - چورو
در این پایان نامه اثبات کاملی از قضیه بازتابی پروون - چورو ارائه می شود.
15 صفحه اولمروری بر اثبات های مختلف از قضیه بورسوک-اولام
قضیه بورسوک -اولام به دلیل داشتن اثبات های مختلف، کاربردهای جالب و متنوع و قضیه های هم ارز با آن یکی از مهمترین ابزار توپولوژی جبری است که در کلی ترین فرم خود می گوید که هر تابع پیوسته $f:mathbb{s}^nlongrightarrowmathbb{r}^n$ لااقل دو نقطه متقاطر را به یک مقدار می نگارد. و در حالت پیشرفته تر آن بیان می کند هر نگاشت فرد از $mathbb{s}^{n-1}longrightarrow mathbb{s}^{n-1}$ درجه فرد دار...
15 صفحه اولاثبات قضیه در منطق های زمانی به کمک رایانه و کاربر
هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...
full textMy Resources
Journal title
volume 27 issue شماره 41
pages 43- 52
publication date 2009-02-19
By following a journal you will be notified via email when a new issue of this journal is published.
Keywords
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023